FTRTFT'98 : formal techniques in real-time and fault-tolerant systems (Lyngby, 114-18 September 1998)Ravn, Anders P; Rischel, Hans.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-65003-2, VIII, 338 p, isbn 3-540-65003-2Conference Proceedings

Dynamical properties of timed automataPURI, A.Lecture notes in computer science. 1998, pp 210-227, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Formal verification of stabilizing systemsSIEGEL, M.Lecture notes in computer science. 1998, pp 158-172, issn 0302-9743, isbn 3-540-65003-2Conference Paper

On the need for practical formal methodsHEITMEYER, C.Lecture notes in computer science. 1998, pp 18-26, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Predictability in critical systemsLE LANN, G.Lecture notes in computer science. 1998, pp 315-338, issn 0302-9743, isbn 3-540-65003-2Conference Paper

The ICOS synthesis environmentLÜTH, K.Lecture notes in computer science. 1998, pp 294-297, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A general framework for the composition of timed systems : Extended abstractSIFAKIS, J.Lecture notes in computer science. 1998, pp 27-28, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Challenges in the utilization of formal methodsKNIGHT, J. C.Lecture notes in computer science. 1998, pp 1-17, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A practical and complete algorithm for testing real-time systemsCARDELL-OLIVER, R; GLOVER, T.Lecture notes in computer science. 1998, pp 251-261, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Discrete-time Promela and SpinBOSNACKI, D; DAMS, A. D.Lecture notes in computer science. 1998, pp 307-310, issn 0302-9743, isbn 3-540-65003-2Conference Paper

On checking parallel real-time systems for linear duration propertiesZHAO JIANHUA; DANG VAN HUNG.Lecture notes in computer science. 1998, pp 241-250, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Hybrid systemsOLDEROG, Ernst-Rüdiger; RAVN, Anders P.Acta informatica. 2007, Vol 43, Num 7, issn 0001-5903, 71 p.Conference Proceedings

Symbolic models for control systemsTABUADA, Paulo.Acta informatica. 2007, Vol 43, Num 7, pp 477-500, issn 0001-5903, 24 p.Conference Paper

Duration Calculus in the specification of safety requirementsVELOUDIS, S; NISSANKE, N.Lecture notes in computer science. 1998, pp 103-112, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Towards a formal semantics of verilog using duration calculusSCHNEIDER, G; QIWEN XU.Lecture notes in computer science. 1998, pp 282-293, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Compiling graphical real-time specifications into siliconFRÄNZLE, M; LÜTH, K.Lecture notes in computer science. 1998, pp 272-281, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Integrating real-time structured design and formal techniquesPRIDDIN, D; BURNS, A.Lecture notes in computer science. 1998, pp 92-102, issn 0302-9743, isbn 3-540-65003-2Conference Paper

MOBY/PLC : Graphical development of PLC-automataTAPKEN, J; DIERKS, H.Lecture notes in computer science. 1998, pp 311-314, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Unifying proof methodologies of duration calculus and timed linear temporal logicZHIMING LIU; RAVN, Anders P; XIAOSHAN LI et al.Formal aspects of computing. 2004, Vol 16, Num 2, pp 140-154, issn 0934-5043, 15 p.Conference Paper

Hybrid action systemsRÖNKKÖ, Mauno; RAVN, Anders P; SERE, Kaisa et al.Theoretical computer science. 2003, Vol 290, Num 1, pp 937-973, issn 0304-3975, 37 p.Article

Mechanical verification of clock synchronization algorithmsSCHWIER, D; VON HENKE, F.Lecture notes in computer science. 1998, pp 262-271, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Synchronizing clocked transition systemsPOEL, M; ZWIERS, J.Lecture notes in computer science. 1998, pp 173-185, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Geometric analysis of nondeterminacy in dynamical systems : Towards a geometric analysis of concurrent systemsWISNIEWSKI, Rafael; RAUSSEN, Martin.Acta informatica. 2007, Vol 43, Num 7, pp 501-519, issn 0001-5903, 19 p.Conference Paper

Duration calculus of weakly monotonic timePANDYA, P. K; DANG VAN HUNG.Lecture notes in computer science. 1998, pp 55-64, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Fair synchronous transition systems and their liveness proofsPNUELI, A; SHANKAR, N; SINGERMAN, E et al.Lecture notes in computer science. 1998, pp 198-209, issn 0302-9743, isbn 3-540-65003-2Conference Paper